A General Theory of Automatic Program Synthesis
نویسنده
چکیده
Some results concerning inductive inference are surveyed. These results are interpreted with respect to automatic program synthesis, a special case of algorithmic inductive iruerence. The interpretations reinforce and refine opinions concerning automatic program synthesis, and artificial intelligence in general, which have been previously expressed in [9] and [15]. The final section digresses from science to speculation as the interpretations of the theorems surveyed are extended to differentiate various cognitive styles of learning. 1. Supported by NSF grant MCS-790S912
منابع مشابه
Effect of Cognitive Behavioral Thearpy Based Psychoeducation Program on Unıversity Students\' Automatic Thoughts, Perceived Stress and Self-Efficacy Levels
Background: University life is a special period in which students take full responsibility for their own lives, especially as individuals, and therefore includes many positive and negative situations. As a result of this situation, they need serious psychological support in order to cope with the potential or real problems they experience. The research was conducted to determine the effect of C...
متن کاملAutomating Changes of Data Type in Functional Programs
In this paper I present an automatic technique for transforming a program by changing the data types in that program to ones which are more appropriate for the task. Programs are synthesised by proving modiied synthesis theorems in the proofs-as-programs paradigm. The transformation can be veriied in the logic of type theory. Transformations are motivated by the presence of subexpressions in th...
متن کاملWhatever Happened to Deductive Question Answering?
Deductive question answering, the extraction of answers to questions from machine-discovered proofs, is the poor cousin of program synthesis. It involves much of the same technology—theorem proving and answer extraction—but the bar is lower. Instead of constructing a general program to meet a given specification for any input—the program synthesis problem—we need only construct answers for spec...
متن کاملAMPHION: Automatic Programming for Scientific Subroutine Libraries
This paper describes AMPHION1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. AMPHION is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a...
متن کاملProgram Synthesis and Transformations in an Object-oriented Environment Program Synthesis and Transformations in an Object-oriented Environment
An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on in-tuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013